The mechanisms of temporal inference

The properties of a temporal language are determined by its constituent elements: the temporal objects which it can represent, the attributes of those objects, the relationships between them, the axioms which define the default relationships, and the rules which define the statements that can be formulated. The methods of inference which can be applied to a temporal language are derived in part from a small number of axioms which define the meaning of equality and order and how those relationships can be propagated. More complex inferences involve detailed analysis of the stated relationships. Perhaps the most challenging area of temporal inference is reasoning over disjunctive temporal constraints. Simple forms of disjunction do not sufficiently increase the expressive power of a language while unrestricted use of disjunction makes the analysis NP-hard. In many cases a set of disjunctive constraints can be converted to disjunctive normal form and familiar methods of inference can be applied to the conjunctive sub-expressions. This process itself is NP-hard but it is made more tractable by careful expansion of a tree-structured search space

Automated design of minimum drag light aircraft fuselages and nacelles

The constrained minimization algorithm of Vanderplaats is applied to the problem of designing minimum drag faired bodies such as fuselages and nacelles. Body drag is computed by a variation of the Hess-Smith code. This variation includes a boundary layer computation. The encased payload provides arbitrary geometric constraints, specified a priori by the designer, below which the fairing cannot shrink. The optimization may include engine cooling air flows entering and exhausting through specific port locations on the body

Sintering of screen-printed platinum thick films for electrode applications

Pt electrodes with a 6-8-μm thickness were produced on alumina substrates by a double-print Pt screen-printing process that included a sequential heat treatment at 600 °C and 1300 °C. This process improved the final sintered double-print film because the first printed layer acted as a sintering template for the second printed layer. The sintered Pt films have a 95% coverage of the alumina surface, 92% density, 0.73-μm average surface roughness, and 16.10−5 Ω cm resistivity. The sintering behavior of Pt films exhibited three stages of densification: Stage I (T °C < 700 °C), exhibiting neck growth, and Stage II (700 < T °C < 1300 °C), exhibiting grain growth, have activation energies of 64 kJ/mol and 125 kJ/mol, respectively. Stage III exhibits a decrease in shrinkage due to Pt coalescence and island formation. The transition temperature, 700 °C, between Stages I and II corresponds to an anomalous increase in surface roughness and resistivity. The thickness of Pt films was a critical parameter for achieving alumina surface coverage. Uniaxial pressing of dried Pt films increased densification and reduced the surface roughness of double-print Pt film

Magnetodielectric coupling in Mn3O4

We have investigated the dielectric anomalies associated with spin ordering transitions in the tetragonal spinel Mn$_3$O$_4$, using thermodynamic, magnetic, and dielectric measurements. We find that two of the three magnetic ordering transitions in Mn$_3$O$_4$ lead to decreases in the temperature dependent dielectric constant at zero applied field. Applying a magnetic field to the polycrystalline sample leaves these two dielectric anomalies practically unchanged, but leads to an increase in the dielectric constant at the intermediate spin-ordering transition. We discuss possible origins for this magnetodielectric behavior in terms of spin-phonon coupling. Band structure calculations suggest that in its ferrimagnetic state, Mn$_3$O$_4$ corresponds to a semiconductor with no orbital degeneracy due to strong Jahn-Teller distortion.Comment: 6 pages, 7 figure

Polynomial Cointegration among Stationary Processes with Long Memory

n this paper we consider polynomial cointegrating relationships among stationary processes with long range dependence. We express the regression functions in terms of Hermite polynomials and we consider a form of spectral regression around frequency zero. For these estimates, we establish consistency by means of a more general result on continuously averaged estimates of the spectral density matrix at frequency zeroComment: 25 pages, 7 figures. Submitted in August 200